subtype($\mathbb{Z}$; rationals)